Dependent type - PDFSEARCH.IO - Document Search Engine

Dependent type
Results: 326

#	Item
141	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
142	Simply Easy! An Implementation of a Dependently Typed Lambda Calculus Andres L¨oh Conor McBride Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Programming language theory Lambda calculus Generalized algebraic data type System F Simply typed lambda calculus Type system Type safety Dependent type Symbol Type theory Software engineering Theoretical computer science
143	Practical Implementation of a Dependently Typed Functional Programming Language by Edwin C. Brady Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2005-11-24 08:52:53 Theoretical computer science Lambda calculus Functional languages Data types Dependent type Type system Functional programming Programming language Epigram Programming language theory Type theory Software engineering
144	Dependent Types for an Adequate Programming of Algebra Sergei D. Meshveliani ? Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:56:04 Functional languages Agda Haskell Proof assistant Dependent type Fold Functional programming Q Type system Software engineering Computing Programming language theory
145	UNIVERSITY OF CALIFORNIA SANTA CRUZ EXECUTABLE REFINEMENT TYPES A dissertation submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY Add to Reading List Source URL: kennknowles.com Language: English - Date: 2014-02-23 11:12:22 Programming language theory Data types Object-oriented programming Program analysis Type system Subtype polymorphism Program refinement C Dependent type Type theory Software engineering Computing
146	Ivor, a Proof Engine Edwin Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed]. Tel: +[removed], Fax: +[removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2007-02-05 08:12:08 Functional languages Type theory Lambda calculus Logic in computer science Functional programming Combinatory logic Fixed-point combinator Dependent type Monad Software engineering Declarative programming Theoretical computer science
147	Contents Table of contents Room Page Add to Reading List Source URL: icfpconference.org Language: English - Date: 2014-08-18 16:17:18 Functional languages International Conference on Functional Programming ICFP Programming Contest SIGPLAN Continuation Haskell Dependent type Generic programming ML Software engineering Computing Computer programming
148	PLMMS Preface This volume contains the papers presented at PLMMS-2013: 5th International Workshop on Programming Languages for Mechanised Mathematical Systems 2013 held on July 9, 2013 in Bath. There were 3 submissions. Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 05:43:59 Type theory Functional languages Logic in computer science Formal methods Theory of computation Dependent type Agda Formal verification Typed lambda calculus Programming language theory Theoretical computer science Software engineering
149	An overlooked coherence construction for dependent type theory Peter LeFanu Lumsdaine (joint work with Michael Warren) Institute for Advanced Study Princeton, New Jersey Add to Reading List Source URL: ncatlab.org Language: English Homological algebra Proof theory Functor Category theory Type theory
150	PROJECT SUMMARY 1. PURPOSE AND GOALS OF PROJECT The project will: • conduct research on the long-term preservation of and access to software-dependent data objects, and • develop prototypes that will lead to the crea Add to Reading List Source URL: www.sdsc.edu Language: English - Date: 1999-07-12 19:46:32 Library science Markup languages Technical communication Archivist Occupations XML National Archives and Records Administration Records management Document Type Definition Computing Archival science OSI protocols

UPDATE